Формальная нотация

Translation формальная нотация into english

Эта программа использует формальную нотацию.

This program uses formal notation.